/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#9=GRKB30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 
∃March 5, 1981 




␈↓ ↓H␈↓Dr. Fred Abramson
␈↓ ↓H␈↓Department of Mathematics
␈↓ ↓H␈↓University of Notre Dame
␈↓ ↓H␈↓South Bend, Indiana  466l7

␈↓ ↓H␈↓Dear Fred:

␈↓ ↓H␈↓This␈α
is␈α∞to␈α
o≥er␈α
you␈α∞a␈α
position␈α
as␈α∞a␈α
Research␈α
Associate␈α∞for␈α
three␈α
months␈α∞during␈α
the␈α∞summer␈α
of
␈↓ ↓H␈↓1981,␈α
at␈αa␈α
salary␈αof␈α
$2,085␈αper␈α
month.␈α We␈α
can␈αalso␈α
accommodate␈αyou␈α
with␈αtravel␈α
expense␈αto␈α
$690,
␈↓ ↓H␈↓which␈α∞is␈α
the␈α∞present␈α
round␈α∞trip␈α
air␈α∞fare␈α
between␈α∞San␈α
Francisco␈α∞and␈α
South␈α∞Bend.␈α
 This␈α∞o≥er␈α
is
␈↓ ↓H␈↓contingent upon the renewal of certain grants, but no problem is anticipated.

␈↓ ↓H␈↓You␈αwill␈αwork␈αwith␈αDr.␈αJussi␈αKetonen␈αon␈αproblems␈αinvolving␈αmathematical␈αlogic,␈αproof␈αchecking,
␈↓ ↓H␈↓and␈α
arti≡cial␈α
intelligence.␈α I␈α
will␈α
send␈αyou␈α
some␈α
material␈αon␈α
non-monotonic␈α
reasoning␈αthat␈α
involves
␈↓ ↓H␈↓logical problems that may interest you.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science